Doxastic Logic
信念の論理（認識論理ではない）
Löbの定理などが関連，証明可能性論理
様相論理
いくつかよくわからない変換がある
参考文献
https://en.wikipedia.org/wiki/Doxastic_logic
R.Smullyan『不完全性定理』改訂版　第11章
https://www.tandfonline.com/doi/pdf/10.1080/11663081.2018.1525206?needAccess=true
?
メモ